sentential calculus

单词sentential calculus

基本解释

un.: 命题演算；语句演算
网络: 句子演算

英汉解释

• 语句演算

• 命题演算

例句

• Two Intuitionistic Systems of Sentential Calculus

  命题演算的两个直觉主义系统

• VHilbert"s Type Intuitionistic Systems of First Order Sentential Calculus

  一阶命题演算的希尔伯特型直觉主义系统